Knd $\in$ Type